body{
    min-width: 800px;
    background-color: #ffffff;
    color: #000000;
}
body > div{
    margin-bottom: 5em;
    padding-bottom: 5em;
    border-bottom: 5px gray solid;
    margin-left: auto;
    margin-right: auto;
    width: 80%;
}
body > div h2,
body > div ul.actions{
    text-align: center;
    font-family: serif;
}
body > div ul.actions li {
    display: inline;
    margin-right: 1em;
    text-decoration: none;
    color: inherit;
    border-bottom: 1px black solid;
    cursor: pointer;
}
body > div:first-child ol li a,
body > div:first-child ol li a{
    text-decoration: none;
    color: inherit;
    border-bottom: 1px black solid;
}
body > div h3,
body > div ul li{
    font-family: serif;
}
body > div ul li a{
    text-decoration: none;
    color: inherit;
    border-bottom: 1px black solid;
}
body > noscript p{
    width: 9%;
    height: 10em;
    background-color: #CD5C5C;
    color: #ffffff;
    margin: 0em;
    padding: 0.5em;
    position: fixed;
    text-align: justify;
    font-weight: bold;
}
@media print {
    body abbr{
        border-bottom-style: none;
    }
    body abbr:after{
        content: " (" attr(title) ") ";
        font-size: xx-small;
    }
    body a{
        border-bottom-style: none !important;  
    }
    body > div ul.actions{
        display: none;
    }
    body > div ul li a:after{
        content: " (" attr(href) ") ";
        font-size: xx-small;
    }
}
/*******************************************************************************
* Elegant theme. For screen and print.
*
*
*******************************************************************************/
div#table.elegant{
    font-family: serif;   
}
div#table.elegant table{
    border-collapse: collapse;
}
div#table.elegant caption{
    caption-side: bottom;
    font-style: italic;
}
div#table.elegant caption em{
    font-weight: bold;
}
div#table.elegant thead{
    background-color: black;
    color: white;
    text-transform: uppercase;
    border: 0.2em black solid;
}
div#table.elegant thead tr{
    height: 2em;
}
div#table.elegant tbody{
    border: 0.2em black solid;
}
div#table.elegant tbody tr{
    height: 2em;
}
div#table.elegant tbody tr td{
    text-align: center;
    padding: 0.5em;
}
div#table.elegant tbody tr td:first-child{
    border-right: 0.2em black solid;
    text-align: justify;
    width: 15%;
}
div#table.elegant tbody tr td:last-child{
    border-left: 0.2em black solid;
    text-align: left;
    width: 40%;
}
div#table.elegant tbody a{
    color:inherit;
    text-decoration: none;
    border-bottom: 0.1em black dotted;
}

@media print {
    div#table.elegant{
        width: 100%;
    }
    div#table.elegant caption{
        caption-side: top;
    }
    div#table.elegant table:after{
        content: attr(summary);
        font-style: italic;
    }
    div#table.elegant a:after{
        content: " (" attr(href) ")";
        font-size: 0.7em;
    }
    div#table.elegant thead{
        text-transform: none;
        border: 0.2em black none;
        font-size: 0.7em;
        font-weight: lighter;
    }
    div#table.elegant tbody{
        border: 0.2em black none;
    }
    div#table.elegant tbody tr{
        border-bottom: 0.1em black solid;
    }
    div#table.elegant tbody tr td{
        padding: 0em;
    }
    div#table.elegant tbody tr td:first-child{
        border-right: 0.2em black none;
    }
    div#table.elegant tbody tr td:last-child{
        border-left: 0.2em black none;
    }
    div#table.elegant tbody a{
        border-bottom: 0.1em black none;
    }
}
/*******************************************************************************
* Groovy theme. For screen and print.
*
*
*******************************************************************************/

div#table.groovy{
    font-family: cursive;
    margin-left: auto;
    margin-right: auto;
    width: 80%;
}
div#table.groovy table{
    border-collapse: collapse;
}
div#table.groovy caption{
    caption-side: bottom;
    font-style: italic;
    border: 0.2em #F5DEB3 double;
}
div#table.groovy caption em{
    font-weight: 900;
    color: #FF0000;
}
div#table.groovy thead{
    background-color: #F5DEB3;
    color: black;
    text-transform: capitalize;
    border: 0.2em #F5DEB3 double;
}
div#table.groovy thead tr, div#table.groovy tbody tr{
    height: 2em;
}
div#table.groovy tbody tr td{
    text-align: center;
    padding: 0.5em;
    border: 0.2em #F5DEB3 double;
}
div#table.groovy tbody tr td[title]:after{
    content: " ("attr(title) ")";
    font-size: x-small;
}
div#table.groovy tbody tr td:first-child{
    text-align: justify;
}
div#table.groovy tbody tr td:last-child{
    text-align: left;
}
div#table.groovy tbody a{
    color:inherit;
    text-decoration: none;
    border-bottom: 0.2em #B22222 double;
}

@media print {
    div#table.groovy{
        font-family: monospace;
        width: 100%;
    }
    div#table.groovy caption{
        caption-side: top;
        border: 0.2em #F5DEB3 none;
    }
    div#table.groovy thead{
        border: 0.5em #F5DEB3 double;
    }
    div#table.groovy tbody tr td{
        border: 0.2em #F5DEB3 none;
        border-bottom: 0.2em #F5DEB3 dashed;
    }
    div#table.groovy a:after{
        content: " (" attr(href) ")";
        font-size: xx-small;
    }
    div#table.groovy tbody a{
        border-bottom: 0.2em #B22222 none;
    }
}
/*******************************************************************************
* Nested lists
*******************************************************************************/
div#lists div.nested_counter ol {
    counter-reset: item
}
div#lists div.nested_counter ol li {
    display: block;
}
div#lists div.nested_counter ol li:before {
    content: counters(item, ".") ". "; 
    counter-increment: item; 
}
/*******************************************************************************
* End of nested lists
*******************************************************************************/
div#lists div.nested li {
    list-style-type: lower-greek;
}
/******************************************************************************/
div#lists div.definition_list dt{
    color: blue;
    font-weight: bold;
}
div#lists div.definition_list dd[class=orig]{
    color:#008000;
    margin-top: 1em;
    margin-bottom: 1em;
}
div#lists div.definition_list dd[class=orig] abbr{
    color:#008000;
}
div#lists div.definition_list abbr{
    color: blue;
    border-bottom-style: none;
}
div#lists div.definition_list span.lema{
    color: purple;
    font-style: italic;
}
div#lists div.definition_list dt {
    counter-reset: item
}
div#lists div.definition_list dl dd {
    display: block;
}
div#lists div.definition_list dl dd.lema:before {
    content: counters(item, ".") ". "; 
    counter-increment: item;
    font-weight: bold;
    color: blue;
}
/******************************************************************************/
div#lists div.nested_counter li, div#lists div li{
    line-height: 2em;
}
/******************************************************************************/
/*******************************************************************************
* Elegant theme. For screen.
*
*
*******************************************************************************/
div#text.elegant{
    text-align: justify;
    counter-reset: img;
}
div#text.elegant p{
    clear: both;
    line-height: 1.5em;
}
div#text.elegant p:first-letter{
    font-weight: bold;
    font-size: 2em;
    text-transform: uppercase;
}
div#text.elegant p.normal:first-letter{
    font-weight: inherit;
    font-size: inherit;
    text-transform: inherit;
}
div#text.elegant p.formula{
    text-align: center;
    font-family: monospace;
}
div#text.elegant p.left{
    float: left;
    display: block;
    width: 48%;
    clear: none;
}
div#text.elegant p.right{
    float: right;
    display: block;
    width: 48%;
    clear: none;
}
div#text.elegant blockquote:before{
    content: open-quote;
    font-weight: bold;
    font-size: 3em;
    margin-left: -0.6em;
    color:gray;
}
div#text.elegant blockquote{
    font-style: italic;
}
div#text.elegant blockquote p:first-letter{
    font-weight: inherit;
    font-size: inherit;
    text-transform: inherit;
}
div#text.elegant blockquote p:first-child{
    margin-top: -2.5em;
}
div#text.elegant blockquote p:last-child{
    text-align: right;
    font-weight: bold;
}
div#text.elegant img{
    margin-left: auto;
    margin-right: auto;
    display: block;
}
div#text.elegant img:after{
    content: "Figura " counter(img)": " attr(alt);
    font-style: italic;
    display: block;
    width: inherit;
    padding-top: 0.5em;
    counter-increment: img;
}
div#text.elegant em{
    font-weight: bold;
}
div#text.elegant strong{
    border-bottom: 0.2em black double;
}
div#text.elegant q{
    font-weight: bold;
    font-style: oblique;
}
div#text.elegant cite{
    color: #FF0000;
}
div#text.elegant code{
    color: #008000;
}
div#text.elegant kbd{
    color: #FF8C00;
}
div#text.elegant address{
    color: #006400;
}
div#text.elegant ins{
    color: #006400;
    text-decoration: none;
    border-bottom: 0.1em #006400 solid;
}
div#text.elegant del{
    color: #8B0000;
}
div#text.elegant ins:before{
    content: "{Reason at " attr(cite)". Addded on " attr(datetime) "}.";
    font-size: xx-small;
}
div#text.elegant del:before{
    content: "{Reason at " attr(cite)". Deleted on " attr(datetime) "}.";
    font-size: xx-small;
}
div#text.elegant q:after{
    content: "(q)";
    font-size: xx-small;
    font-family: monospace;
}
div#text.elegant em:after{
    content: "(em)";
    font-size: xx-small;
    font-family: monospace;
}
div#text.elegant strong:after{
    content: "(strong)";
    font-size: xx-small;
    font-family: monospace;
}
div#text.elegant cite:after{
    content: "(cite)";
    font-size: xx-small;
    font-family: monospace;
}
div#text.elegant code:after{
    content: "(code)";
    font-size: xx-small;
    font-family: monospace;
}
div#text.elegant kbd:after{
    content: "(kbd)";
    font-size: xx-small;
    font-family: monospace;
}
div#text.elegant address:after{
    content: "(address)";
    font-size: xx-small;
    font-family: monospace;
}
div#text.elegant dfn:after{
    content: "(dfn)";
    font-size: xx-small;
    font-family: monospace;
}
div#text.elegant samp:after{
    content: "(samp)";
    font-size: xx-small;
    font-family: monospace;
}
div#text.elegant var:after{
    content: "(var)";
    font-size: xx-small;
    font-family: monospace;
}
div#text.elegant object{
    margin-left: auto;
    margin-right: auto;
    display: block; 
}